Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
691	Electronic Communications of the EASST Volume ? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2009-09-16 11:46:54 Conditional Combinatory logic C syntax Software engineering Computer programming Computing Control flow
692	INSTRUCTIONS - FOOMAN SPEEDSTER QUICK LINKS Important - Before you Install Fooman Speedster Installation Instructions Enable Fooman Speedster (Self Tests) Verification and Troubleshooting Add to Reading List Source URL: cdn.fooman.co.nz Language: English - Date: 2013-11-16 18:43:31 Computer programming JavaScript Cross-platform software Minification Magento JQuery Cascading Style Sheets Computing Software Ajax
693	STANDARD OPERATING PROCEDURE FOR CERTIFICATION OF PRODUCTS Add to Reading List Source URL: www.energystar.gov Language: English - Date: 2014-11-06 15:24:57 United States Environmental Protection Agency Energy Star Energy in the United States Systems engineering Verification and validation U.S. Lighting Energy Policy Software testing Product certification Evaluation Environment of the United States
694	Shuntaint: Emulation-based Security Testing for Formal Verification Bruno Luiz [removed] Add to Reading List Source URL: blackhat.com Language: English - Date: 2014-12-16 19:06:29 Memory management Debuggers Profilers Valgrind C dynamic memory allocation Low-level programming language C Stack Computing Computer programming Software engineering
695	Shuntaint: Emulation-based Security Testing for Formal Verification Bruno Luiz [removed] Add to Reading List Source URL: blackhat.com Language: English - Date: 2014-12-16 19:06:29 Data types Primitive types Debuggers Software bugs Profilers Valgrind Pointer C Stack Computing Software engineering Computer programming
696	Conditions and Criteria for Recognition of Certification Bodies for the ENERGY STAR Program Add to Reading List Source URL: www.energystar.gov Language: English - Date: 2013-02-18 12:20:29 Energy Star United States Environmental Protection Agency Verification and validation ISO/IEC 17025 Quality assurance Accreditation Conformity assessment National Accreditation Board for Testing and Calibration Laboratories Software testing Evaluation Product certification Quality
697	Introducing ASVS 2013 Beta OWASP Application Security Verification Standard 2013 BACKGROUND Add to Reading List Source URL: www.owasp.org Language: English - Date: 2013-09-02 16:44:18 Security OWASP Software testing Application security Vulnerability Web application security Computer security Cyberwarfare Computer network security
698	Conditions and Criteria for Certification Bodies Add to Reading List Source URL: apec-pac.org Language: English - Date: 2014-06-21 21:22:23 Energy Star United States Environmental Protection Agency Verification and validation ISO/IEC 17025 Quality assurance Accreditation Conformity assessment National Accreditation Board for Testing and Calibration Laboratories Software testing Evaluation Product certification Quality
699	Hybrid Verification by Exploiting the Environment* Limor Fix and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:16:30** Procedural programming languages Algebra Logical syntax Variables Parallel computing FO Static single assignment form Free variables and bound variables Environment variable Mathematics Computing Software engineering
700	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No3 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-12-18 10:47:53 Validity Science Technology Formal methods Software quality Validation Verification and validation Software development process Verification Systems engineering Software development Pharmaceutical industry

UPDATE